Optimal Discrete Controller Synthesis for Modeling Fault-tolerant Distributed Systems
نویسندگان
چکیده
We propose a safe design method for safe execution systems, based on faulttolerance techniques: it uses optimal discrete controller synthesis (DCS) to generate a correct-by-construction fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some failure hypothesis), and several optimizations (of the tasks’ execution time). We propose an algorithm for optimal DCS on bounded paths. We propose model patterns for a set of periodic tasks with checkpoints, a set of distributed, heterogeneous and fail-silent processors, and an environment model that expresses potential fault patterns. The implementation is illustrated using the Sigali symbolic DCS tool and the Mode Automata programming language. Copyright c ©2007 IFAC
منابع مشابه
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
We propose a technique for discrete controller synthesis, with optimal synthesis on bounded paths, in order to model, design, and optimize fault-tolerant distributed systems, taking into account several criteria (e.g., the execution costs of the tasks and their quality of service). Different combinations are explored for multi-criteria optimization.
متن کاملModeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses discrete controller synthesis (DCS) to generate a correct reconfiguring system. The properties enforced concern consistent execution, functionality fulfillment (whatever the faults, under some fai...
متن کاملOptimal discrete controller synthesis for the modeling of fault-tolerant distributed systems
Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the...
متن کاملOptimal nonlinear control of flight faults in manned aircrafts in the presence of fault and failure of control actuato
Control actuators' faults are among the major reasons to lose aircraft control while flights. The plane dynamics is severely dependent upon faults and errors in flight control systems and if the reformed control order is not issued by the fault tolerant controller there would be unpleasant outcomes such as inconsistency and the reduction of system performance and some dreadful aerial accide...
متن کاملDesign of Stochastic Fault Tolerant Control for H2 Performance
In this paper, the controller synthesis problem for fault tolerant control systems (FTCS) with stochastic stability and H2 performance is studied. The system faults of random nature are modeled by a Markov chain. Because the real system fault modes are not directly accessible in the context of FTCS, the controller is reconfigured based on the output of a Fault Detection and Identification (FDI)...
متن کامل